Boolean algebra - PDFSEARCH.IO - Document Search Engine

Boolean algebra
Results: 1241

#	Item
301	Logic and Lattices for Distributed Programming Neil Conway William R. Marczak Peter Alvaro Add to Reading List Source URL: www.neilconway.org Language: English - Date: 2012-10-01 13:10:36 Lattice theory Algebra Order theory Lattice Monotonic function Boolean algebra Semilattice Complete Heyting algebra Complete lattice Abstract algebra Mathematics Algebraic structures
302	The Phase Transition in Exact Cover Vamsi Kalapala∗ and Cristopher Moore∗,† {vamsi,moore}@cs.unm.edu, ∗ Department of Computer Science, University of New Mexico Add to Reading List Source URL: cjtcs.cs.uchicago.edu Language: English - Date: 2008-10-23 11:39:06 Automated theorem proving NP-complete problems Logic in computer science Boolean algebra Boolean satisfiability problem Electronic design automation Resolution Unit propagation Constraint satisfaction Theoretical computer science Mathematics Applied mathematics
303	Mario AI Competition @ ICE-GIC 2009 Sergey Karakovskiy and Julian Togelius Thursday, August 27, 2009 Add to Reading List Source URL: www.islab.ntua.gr Language: English - Date: 2012-10-14 18:35:22 Boolean algebra Boolean data type Java Computing Software engineering Computer programming
304	Quantum boolean functions Ashley Montanaro∗ and Tobias J. Osborne† May 31, 2010 Abstract In this paper we introduce the study of quantum boolean functions, which are unitary Add to Reading List Source URL: cjtcs.cs.uchicago.edu Language: English - Date: 2011-06-03 17:28:45 Quantum mechanics Models of computation Quantum algorithm Quantum error correction Quantum measurement Quantum circuit Quantum computer Boolean algebra Quantum programming Theoretical computer science Quantum information science Applied mathematics
305	Computing Loops With at Most One External Support Rule Xiaoping Chen and Jianmin Ji Fangzhen Lin University of Science and Technology of China Add to Reading List Source URL: www.cs.ust.hk Language: English - Date: 2008-06-17 04:51:14 Mathematics Rules of inference Boolean algebra Propositional calculus Stable model semantics Answer set programming Negation as failure Modal logic Resolution Logic Logic programming Mathematical logic
306	American Computer Science League Junior Division Contest #3 Add to Reading List Source URL: www.acsl.org Language: English - Date: 2011-07-30 11:53:37 Algebraic graph theory Boolean algebra Adjacency matrix Matrices Graph Negation Mathematics Algebra Graph theory
307	American Computer Science League Classroom Division Short Problems Add to Reading List Source URL: www.acsl.org Language: English - Date: 2011-07-30 11:53:32 Algebraic graph theory Graph Boolean algebra Adjacency matrix Clique Median graph Graph theory Mathematics Theoretical computer science
308	PDF Document Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2008-08-20 12:44:09 C*-algebra Von Neumann algebra Boolean algebra Model theory Equivalence of categories Kernel Monoidal t-norm logic Heyting algebra Mathematics Algebra Abstract algebra
309	Part IA Engineering Aims Digital Circuits & Add to Reading List Source URL: mi.eng.cam.ac.uk Language: English - Date: 2009-05-05 07:09:11 Digital electronics Theoretical computer science Electronic design Algebraic logic Logic families Boolean algebra CMOS OR gate Negated AND gate Electronic engineering Logic gates Electronics
310	A quasi-stability result for low-degree Boolean functions on Sn David Ellis, Yuval Filmus∗, and Ehud Friedgut† OctoberAbstract Add to Reading List Source URL: www.maths.qmul.ac.uk Language: English - Date: 2012-11-09 07:06:56 Representation theory of Lie groups Representation theory Character theory Fourier transform Representation theory of finite groups Zonal spherical function Abstract algebra Mathematical analysis Mathematics

UPDATE